<!DOCTYPE HTML>
<html>
<head>
  <title>Bug 802872</title>
  <!-- Including SimpleTest.js so we can use AddLoadEvent !-->
  <script type="text/javascript" src="/tests/SimpleTest/SimpleTest.js"></script>
  <link rel="stylesheet" type="text/css" href="/tests/SimpleTest/test.css" />
</head>
<body>
  <script src='file_bug802872.js'></script>
</body>
</html>
